(DEFPROP FOO (LAMBDA NIL (PROG (ZZ) A (SETQ ZZ (PRINT (ERRSET (EVAL (READ)) T))) (COND ((EQUAL ZZ (QUOTE (END))) (RETURN NIL))) (GO A))) EXPR)